Theoremproving system

[计] 定理证明系统

🧩 词语组成解析

theoremproving
[计] 定理证明
system ['sɪstəm]
n. 体系，系统;制度;身体;方法;
sy(syn-=together)+ste(to stand)→系统；体系；秩序；制度；方法

🗣️ 情景例句

Hi.
嗨。
I'm giving you a gift.
我送给你一件礼物。
Sure! But why don't you come with me?
当然可以！但你为什么不同我一起去呢？
更多情景英语 ›

🔤 更多 T 开头的单词

take a hack at
tease apart
Teutonic
the Old Blazes
thrashers
tocograph
Trades Union Congress
triadic
全部 T 开头单词 ›